想像建造一座摩天大樓。你不能從頂層開始；你需要一個深達地幔的基礎。在數學中，這個基礎就是 數學系統。它是一個正式的語言結構，旨在判斷真理而不陷入循環推理的陷阱。它就像一座『邏輯金字塔』，每塊石頭都由下方的石頭支撐。
數學真理的層次結構
一個數學系統包含四個主要的垂直層級，每一層都有其獨特的結構功能：
1. 基礎層：未定義概念與公理
為避免無限倒退（用一個詞定義另一個詞，而該詞又需要另一個定義），我們接受某些 未定義概念 作為基本概念（例如「點」或「集合」）。我們也接受 公理：假設為真但無需證明的陳述。
範例： 在歐幾里得幾何中，我們接受公理：任意兩點之間都可以畫出一條直線段。
2. 框架層：定義
定義 是利用公理和未定義概念來描述新概念的共識性說明。數學系統明確地被定義為「公理、定義與未定義概念的集合」。
3. 橋樑層：證明
一個 證明 是將公理與定義連結起來以驗證定理的正式論證。它是將猜想轉化為既定事實的邏輯機制。
4. 王冠層：定理、引理與推論
- 定理： 已被證明為真的重要命題（例如：『若三角形有兩邊相等，則其對角也相等』）。
- 引理： 戰術性的『跳板』——本身不具吸引力，但對於證明更大結果至關重要。
- 推論： 『垂手可得的果實』——能輕易且立即從另一個定理推導出的命題。
範例：等腰三角形的結構
在歐幾里得幾何系統中：
- 定理： 若三角形有兩邊相等，則其對角也相等。
- 推論： 若三角形為正三角形，則其三內角相等。（此結論幾乎無需額外努力即可從上述定理推導出）。
- 高階應用： 在四邊形系統中，我們可能要證明：『若一個四邊形的對角線互相平分，則該四邊形為平行四邊形』。
🎯 核心原則
數學系統的設計目的在於消除模糊性。透過建立從 未定義概念 到 推論的嚴格層次結構，我們確保每一項『真理』都能追溯至其不可動搖的基礎，且不會陷入循環。